type RingF2 a = RingF (RingF (RingF a))